机译:资源生产和消耗的资源受限ATL的模型检查*
机译:LBPSGora:创建负载平衡,具有粒子遗传优化算法,以提高云网络中的资源分配和能耗
机译:评估故障和资源异质性对IaaS云的功耗和性能的影响
机译:资源有限ATL的符号模型检查
机译:资源受限的信息获取和学习。
机译:到2050年与世界生物燃料生产相关的环境和资源负担:从碳排放和土地使用到废物产生和水消耗的足迹组成部分
机译:使用生产和\ ud对资源受限的ATL进行模型检查 资源消耗
机译:哈德逊河渔业资源受损:渔业关闭和消费限制。哈德逊河自然资源损害评估。总结报告。